Highly Concurrent Logically Synchronous Multicast Kenneth
نویسنده
چکیده
We deilne the logically synchronous muliirast problem, which imposes a natura] and useful structure on message delivery order in an asynchronous system. In this problem, a computation proceeds by a sequence of rnulticasts, in which a process sends a message to some arbitrary subset of the processes, including itselL A logically synchronous rnu1tcast protocol must make t appear to ever) process as if each mtilticast occurs simultaneousiy at all participants of that multicast (sender plus receivers). Furthermoro. if a process continually wishes to send a message, it must eventually be permitted to do so. We present a highly concurrent solution in which each multicast requires at mt 4151 messages. where S is the set of participants in that multicast. The protocol's correctness is shown using a remarkably simple problem specification stated in the I/O automaton modeL We also show that implementing a waitfree solution to the logically synchronous multicast probjeni is inipossible. The author is currently developing a simulation system for agorithms expressed as I/O au tomata-We conc]ude the paper by describing how the loica1ly synchronous multicast protocol can he used to distribute this simulation system.
منابع مشابه
Decoupled execution of synchronous coordination models via behavioural automata
Synchronous coordination systems allow the exchange of data by logically indivisible actions involving all coordinated entities. This paper introduces behavioural automata, a logically synchronous coordination model based on the Reo coordination language, which focuses on relevant aspects for the concurrent evolution of these systems. We show how our automata model encodes the Reo and Linda coo...
متن کاملThroughput Stability of Reliable Multicast Protocols
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. This in turn affects the overall performance, throughput and scalability of group applications utilizing these protocols. However, there exists a substantial class of distributed applications for which the throughput ...
متن کاملMaking Architectural Analysis Reasonable
Software systems that integrate a set of concurrent and possibly distributed components are becoming increasingly common. One architectural style that is often used in such systems is implicit invocation[1, 2]. In this style, a component communicates and passes control by announcing events, and these events are multicast to a set of consuming components that perform actions in response to event...
متن کاملEnforcing Strong Consistency with Semantically View Synchronous Multicast
Replication is a fundamental strategy to obtain highly available services. Among the mechanisms that support replication, view synchronous multicast protocols emerge as a powerful abstraction to encapsulate fundamental problems in replication. Unfortunately, in the presence of a temporarily slow processor or network link the performance of implementations of view synchronous multicast is degrad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991